au.\*:("OBER, Iulian")
Results 1 to 9 of 9
Selection :
Software and architecture modelling with omega-UML and validation with IFGRAF, Susanne; OBER, Iulian.Génie logiciel (1995). 2007, Num 80, pp 21-26, issn 1265-1397, 6 p.Conference Paper
Verification of quantitative temporal properties of SDL specificationsOBER, Iulian; KERBRAT, Alain.Lecture notes in computer science. 2001, pp 182-202, issn 0302-9743, isbn 3-540-42281-1Conference Paper
Modeling and Validation of a Software Architecture for the Ariane-5 LauncherOBER, Iulian; GRAF, Susanne; LESENS, David et al.Lecture notes in computer science. 2006, pp 48-62, issn 0302-9743, isbn 3-540-34893-X, 1Vol, 15 p.Conference Paper
Modeling and analysis of real-time and embedded systemsGRAF, Susanne; GERARD, Sébastien; HAUGEN, Oystein et al.Lecture notes in computer science. 2006, pp 58-66, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 9 p.Conference Paper
Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article
Projet OMEGA : Un profil UML et un outil pour la modélisation et la validation de systèmes temps réel = OMEGA project: an UML profile and a tool for the modelling and validation of real time systemsOBER, Iulian; OBER, Ileana; GRAF, Susanne et al.Génie logiciel (1995). 2005, Num 73, pp 33-38, issn 1265-1397, 6 p.Conference Paper
The IF toolsetBOZGA, Marius; GRAF, Susanne; OBER, Ileana et al.Lecture notes in computer science. 2004, pp 237-267, issn 0302-9743, isbn 3-540-23068-8, 31 p.Conference Paper
Modèles système, modèles logiciel et modèles de code dans les applications spatialesCONQUET, Eric; DORMOY, François-Xavier; DRAGOMIR, Iulia et al.Génie logiciel (1995). 2011, Num 97, pp 9-15, issn 1265-1397, 7 p.Conference Paper
Timed extensions for SDLBOZGA, Marius; GRAF, Susanne; MOUNIER, Laurent et al.Lecture notes in computer science. 2001, pp 223-240, issn 0302-9743, isbn 3-540-42281-1Conference Paper